Category Theory
- "Proof and other Dilemmas: When is One Thing Equal to Some Other Thing?" Barry Mazur 2008
- "Which Functor Is the Projective Line?" Daniel K. Biss, 2003
- Yoneda Lemma Wikipedia
- Notes on Category Theory in Scala 3 (Dotty) | Typista.org
- DaoFP